1. Intuitionistic type theory
Author: Martin-Lof, Per, 2491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Type theory
Classification :
QA
9
.
M329
